On diagonal fixed points of increasing functions

Diagonal arguments and fixed points

‎A universal schema for diagonalization was popularized by N.S‎. ‎Yanofsky (2003)‎, ‎based on a pioneering work of F.W‎. ‎Lawvere (1969)‎, ‎in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function‎. ‎It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema‎. ‎Here‎, ‎we fi...

On Fixed Points of Strictly Causal Functions

We ask whether strictly causal components form well defined systems when arranged in feedback configurations. The standard interpretation for such configurations induces a fixed-point constraint on the function modelling the component involved. We define strictly causal functions formally, and show that the corresponding fixed-point problem does not always have a well defined solution. We exami...

On the existence of fixed points for contraction mappings‎ ‎depending on two functions

‎In this paper we study the existence of fixed points for mappings defined on complete metric spaces‎, ‎satisfying a general contractive inequality depending on two additional mappings‎.

Uniqueness of Positive Fixed Points for Increasing Concave Functions on U?: an Elementary Result

The square root function has a unique positive ¿xed point. This function has the following properties: it is strictly increasing and strictly concave, with sEf ' f, sE@ : @ for @ , and sEK K for K : . It is shown that any function from U to U satisfying these properties has a unique positive ¿xed point.

Fixed Points of Analytic Functions